Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
281	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
282	Formal Instruction and Language Contact in Language Variation: The Case of ser and estar + Adjective in the Spanishes of Limón, Costa Rica Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:55:33 Semantics Romance languages Romance copula Copula Adjective Bilingualism Multilingualism E-Prime Preposition and postposition Linguistics Parts of speech Sociolinguistics
283	Automatic Function Annotations for Hoare Logic Daniel Matichuk NICTA Sydney, Australia [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-11-27 21:22:39 Formal methods Predicate transformer semantics Hoare logic Annotation Logic Mathematical proof Function Mathematics Program logic Knowledge
284	Invited contribution: Joint Session of Mind Association and Aristotelian Society July 1986 Reply was presented by L.J.Cohen, Oxford. Both published in Proceedings of the Aristotelian Society, Supplementary Volume LX, 198 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-08-29 04:45:17 Philosophy of language Formal languages Logical syntax Semantics Metalogic Interpretation Symbol Proposition Cognitive science Logic Linguistics Science
285	Graeme Forbes T1 .2 On Some Examples of Chomsky’s Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2007-01-18 00:59:41 Formal languages Semantics Predicate logic Lambda calculus Combinatory logic Interpretation Categorial grammar Formal grammar FO Logic Mathematical logic Theoretical computer science
286	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
287	Hierarchies Ontological and Ideological Øystein Linnebo Birkbeck, University of London [removed] Agust´ın Rayo Massachusetts Institute of Technology Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:39:50 Ordinal numbers Model theory Predicate logic Semantics Formal methods Limit ordinal Type theory Transfinite induction Ordinal notation Mathematical logic Logic Mathematics
288	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
289	Chemistry Studio : An Intelligent Tutoring System (Natural Language Component) Ankit Kumar Abhishek Kar Sumit Gulwani Ashish Tiwari Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-11-24 04:10:34 Formal languages Semantics Metalogic Quantification Well-formed formula Resolution Function Interpretation Parsing Logic Mathematics Mathematical logic
290	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics

UPDATE